Automatic rate desynchronization of embedded reactive programs
نویسندگان
چکیده
منابع مشابه
Automatic State Reaching for Debugging Reactive Programs
Reactive systems are made of programs that permanently interact with their environment. Debuggers generally provide support for data and state inspection, given a sequence of inputs. But, because the reactive programs and their environments are interdependent, a very useful feature is to be able to go the other way around; namely, given a state, obtain a sequence of inputs that leads to that st...
متن کاملRate Assignment for Embedded Reactive Real-Time Systems
Most timing constraints analyses for embedded systems are based on task level timing parameters whereas initial timing constraints are usually observed and speciied with respect to visible events. In this paper, we propose a rate assignment algorithm for embedded reactive real-time systems whose timing constraints are speciied by the rate of external input events. The rates of internal events w...
متن کاملModel-based Design of Embedded Systems by Desynchronization
Embedded Systems Group Department of Computer Science Doktor der Ingenieurwissenschaften Model-based Design of Embedded Systems by Desynchronization by Yu Bai In this thesis we developed a desynchronization design flow in the goal of easing the development effort of distributed embedded systems. The starting point of this design flow is a network of synchronous components. By transforming this ...
متن کاملNeural Synthesis of Teleo-reactive Programs Teleo-reactive Programs
The Teleo-Reactive (TR) formalism has been presented as a new programming paradigm to write agent programs with reactive control and goal oriented behavior. The formalism is based in a circuit semantics that intuitively can be ported directly to a layered AND/OR neural network architecture. But to capture the essence of the TR paradigm, a more sophisticated mechanism of synthesis must be develo...
متن کاملProving the Correctness of Reactive Systems Using Sized Types 1 Embedded Functional Programs
We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis manipulates rich type expressions that contain information about the sizes of recursively deened data structures. Sized types are useful for detecting deadlocks, non-termination, and other errors in embedded programs. To establish the soundness of the analysis we have devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2006
ISSN: 1539-9087,1558-3465
DOI: 10.1145/1165780.1165786